; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; No FP16/BF16
; RUN: llc -mtriple=arm-none-eabi -mattr=+armv8.2-a,+fp-armv8,-fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=NO-FP16-SOFTFP
; RUN: llc -mtriple=thumb-none-eabi -mattr=+armv8.2-a,+fp-armv8,-fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=NO-FP16-SOFTFP
; RUN: llc -mtriple=arm-none-eabihf -mattr=+armv8.2-a,+fp-armv8,-fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=NO-FP16-HARD
; RUN: llc -mtriple=thumb-none-eabihf -mattr=+armv8.2-a,+fp-armv8,-fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=NO-FP16-HARD

; With FP16, Without BF16
; RUN: llc -mtriple=arm-none-eabi -mattr=+armv8.2-a,+fp-armv8,+fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-SOFTFP
; RUN: llc -mtriple=thumb-none-eabi -mattr=+armv8.2-a,+fp-armv8,+fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-SOFTFP
; RUN: llc -mtriple=arm-none-eabihf -mattr=+armv8.2-a,+fp-armv8,+fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-HARD
; RUN: llc -mtriple=thumb-none-eabihf -mattr=+armv8.2-a,+fp-armv8,+fullfp16,-bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-HARD

; With FP16/BF16
; RUN: llc -mtriple=arm-none-eabi -mattr=+armv8.2-a,+fp-armv8,+fullfp16,+bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-SOFTFP,BF16-SOFTFP
; RUN: llc -mtriple=thumb-none-eabi -mattr=+armv8.2-a,+fp-armv8,+fullfp16,+bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-SOFTFP,BF16-SOFTFP
; RUN: llc -mtriple=arm-none-eabihf -mattr=+armv8.2-a,+fp-armv8,+fullfp16,+bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-HARD,BF16-HARD
; RUN: llc -mtriple=thumb-none-eabihf -mattr=+armv8.2-a,+fp-armv8,+fullfp16,+bf16,-neon %s -o - | FileCheck %s --check-prefixes=FP16-HARD,BF16-HARD

; This test ensures that we can use `w` and `t` constraints to allocate
; S-registers for 16-bit FP inputs and outputs for inline assembly, with either
; the softfp or hard float ABIs. (With the soft abi, no S-regs are available).

define half @half_t(half %x) nounwind {
; NO-FP16-SOFTFP-LABEL: half_t:
; NO-FP16-SOFTFP:       @ %bb.0: @ %entry
; NO-FP16-SOFTFP-NEXT:    vmov s0, r0
; NO-FP16-SOFTFP-NEXT:    @APP
; NO-FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; NO-FP16-SOFTFP-NEXT:    @NO_APP
; NO-FP16-SOFTFP-NEXT:    vmov r0, s0
; NO-FP16-SOFTFP-NEXT:    bx lr
;
; NO-FP16-HARD-LABEL: half_t:
; NO-FP16-HARD:       @ %bb.0: @ %entry
; NO-FP16-HARD-NEXT:    @APP
; NO-FP16-HARD-NEXT:    vmov.f32 s0, s0
; NO-FP16-HARD-NEXT:    @NO_APP
; NO-FP16-HARD-NEXT:    bx lr
;
; FP16-SOFTFP-LABEL: half_t:
; FP16-SOFTFP:       @ %bb.0: @ %entry
; FP16-SOFTFP-NEXT:    vmov.f16 s0, r0
; FP16-SOFTFP-NEXT:    @APP
; FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; FP16-SOFTFP-NEXT:    @NO_APP
; FP16-SOFTFP-NEXT:    vmov r0, s0
; FP16-SOFTFP-NEXT:    bx lr
;
; FP16-HARD-LABEL: half_t:
; FP16-HARD:       @ %bb.0: @ %entry
; FP16-HARD-NEXT:    @APP
; FP16-HARD-NEXT:    vmov.f32 s0, s0
; FP16-HARD-NEXT:    @NO_APP
; FP16-HARD-NEXT:    bx lr
entry:
  %0 = tail call half asm "vmov $0, $1", "=t,t"(half %x)
  ret half %0
}

define half @half_w(half %x) nounwind {
; NO-FP16-SOFTFP-LABEL: half_w:
; NO-FP16-SOFTFP:       @ %bb.0: @ %entry
; NO-FP16-SOFTFP-NEXT:    vmov s0, r0
; NO-FP16-SOFTFP-NEXT:    @APP
; NO-FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; NO-FP16-SOFTFP-NEXT:    @NO_APP
; NO-FP16-SOFTFP-NEXT:    vmov r0, s0
; NO-FP16-SOFTFP-NEXT:    bx lr
;
; NO-FP16-HARD-LABEL: half_w:
; NO-FP16-HARD:       @ %bb.0: @ %entry
; NO-FP16-HARD-NEXT:    @APP
; NO-FP16-HARD-NEXT:    vmov.f32 s0, s0
; NO-FP16-HARD-NEXT:    @NO_APP
; NO-FP16-HARD-NEXT:    bx lr
;
; FP16-SOFTFP-LABEL: half_w:
; FP16-SOFTFP:       @ %bb.0: @ %entry
; FP16-SOFTFP-NEXT:    vmov.f16 s0, r0
; FP16-SOFTFP-NEXT:    @APP
; FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; FP16-SOFTFP-NEXT:    @NO_APP
; FP16-SOFTFP-NEXT:    vmov r0, s0
; FP16-SOFTFP-NEXT:    bx lr
;
; FP16-HARD-LABEL: half_w:
; FP16-HARD:       @ %bb.0: @ %entry
; FP16-HARD-NEXT:    @APP
; FP16-HARD-NEXT:    vmov.f32 s0, s0
; FP16-HARD-NEXT:    @NO_APP
; FP16-HARD-NEXT:    bx lr
entry:
  %0 = tail call half asm "vmov $0, $1", "=w,w"(half %x)
  ret half %0
}

define bfloat @bf16_t(bfloat %x) nounwind {
; NO-FP16-SOFTFP-LABEL: bf16_t:
; NO-FP16-SOFTFP:       @ %bb.0: @ %entry
; NO-FP16-SOFTFP-NEXT:    vmov s0, r0
; NO-FP16-SOFTFP-NEXT:    @APP
; NO-FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; NO-FP16-SOFTFP-NEXT:    @NO_APP
; NO-FP16-SOFTFP-NEXT:    vmov r0, s0
; NO-FP16-SOFTFP-NEXT:    bx lr
;
; NO-FP16-HARD-LABEL: bf16_t:
; NO-FP16-HARD:       @ %bb.0: @ %entry
; NO-FP16-HARD-NEXT:    @APP
; NO-FP16-HARD-NEXT:    vmov.f32 s0, s0
; NO-FP16-HARD-NEXT:    @NO_APP
; NO-FP16-HARD-NEXT:    bx lr
;
; FP16-SOFTFP-LABEL: bf16_t:
; FP16-SOFTFP:       @ %bb.0: @ %entry
; FP16-SOFTFP-NEXT:    vmov s0, r0
; FP16-SOFTFP-NEXT:    @APP
; FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; FP16-SOFTFP-NEXT:    @NO_APP
; FP16-SOFTFP-NEXT:    vmov r0, s0
; FP16-SOFTFP-NEXT:    bx lr
;
; FP16-HARD-LABEL: bf16_t:
; FP16-HARD:       @ %bb.0: @ %entry
; FP16-HARD-NEXT:    @APP
; FP16-HARD-NEXT:    vmov.f32 s0, s0
; FP16-HARD-NEXT:    @NO_APP
; FP16-HARD-NEXT:    bx lr
entry:
  %0 = tail call bfloat asm "vmov $0, $1", "=t,t"(bfloat %x)
  ret bfloat %0
}

define bfloat @bf16_w(bfloat %x) nounwind {
; NO-FP16-SOFTFP-LABEL: bf16_w:
; NO-FP16-SOFTFP:       @ %bb.0: @ %entry
; NO-FP16-SOFTFP-NEXT:    vmov s0, r0
; NO-FP16-SOFTFP-NEXT:    @APP
; NO-FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; NO-FP16-SOFTFP-NEXT:    @NO_APP
; NO-FP16-SOFTFP-NEXT:    vmov r0, s0
; NO-FP16-SOFTFP-NEXT:    bx lr
;
; NO-FP16-HARD-LABEL: bf16_w:
; NO-FP16-HARD:       @ %bb.0: @ %entry
; NO-FP16-HARD-NEXT:    @APP
; NO-FP16-HARD-NEXT:    vmov.f32 s0, s0
; NO-FP16-HARD-NEXT:    @NO_APP
; NO-FP16-HARD-NEXT:    bx lr
;
; FP16-SOFTFP-LABEL: bf16_w:
; FP16-SOFTFP:       @ %bb.0: @ %entry
; FP16-SOFTFP-NEXT:    vmov s0, r0
; FP16-SOFTFP-NEXT:    @APP
; FP16-SOFTFP-NEXT:    vmov.f32 s0, s0
; FP16-SOFTFP-NEXT:    @NO_APP
; FP16-SOFTFP-NEXT:    vmov r0, s0
; FP16-SOFTFP-NEXT:    bx lr
;
; FP16-HARD-LABEL: bf16_w:
; FP16-HARD:       @ %bb.0: @ %entry
; FP16-HARD-NEXT:    @APP
; FP16-HARD-NEXT:    vmov.f32 s0, s0
; FP16-HARD-NEXT:    @NO_APP
; FP16-HARD-NEXT:    bx lr
entry:
  %0 = tail call bfloat asm "vmov $0, $1", "=w,w"(bfloat %x)
  ret bfloat %0
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; BF16-HARD: {{.*}}
; BF16-SOFTFP: {{.*}}
